Generating an Algebraic Specification from an ER-Model

Generating an Algebraic Specification from an ER-Model

Entity-Relationship modelling is a rather intuitive technique for specifying the structure of complex data. The technique is popular in part because the structure of an ER-model is easily grasped, and it is usually supported by diagrams or other visualizing tools. This paper deals with a detailed analysis of ER-modelling with the goal of deriving an algebraic speci cation for a given ER-model. ...

On Generating an Integrated DSS from a Mathematical Model Specification

Executable mathematical modeling languages (EMLs), designed to facilitate model representation and execution, are traditionally weak in data modeling and management, which often consitutes a majority of the effort in a modeling project. In this paper, we describe a systematic approach for developing an integrated decision support system given an EML model. This approach is first demonstrated us...

An algorithm for generating XML Schemas from ER Schemas

In this work we present an algorithm to generate a XML Schema for data whose structure is specified by the E-R conceptual model. The main goal of the translation process is to obtain a normalized schema preserving the structural information of the original one.

An Algorithm for Generating Quanti er Scopings

Generating MSCs from an Integrated Formal Specification Language

The requirements capture of complex systems requires powerful mechanisms for specifying system state, structure and interactive behaviors. Integrated formal specification languages are well suited for presenting more complete and coherent requirement models for complex systems. Given an integrated model, one can project it into multiple views for specialized analysis. Message Sequence Charts (M...